Raymond Reiter (; June 12, 1939 – September 16, 2002) was a

Canadian Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of ...

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

and

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

. He was one of the founders of the field of

non-monotonic reasoning A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which re ...

with his work on

default logic Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that somethi ...

, model-based diagnosis, closed world reasoning, and

truth maintenance systems {{more footnotes, date=September 2009 Reason maintenanceDoyle, J., 1983. The ins and outs of reason maintenance, in: Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1, IJCAI’83. Morgan Kaufmann Publish ...

. He also contributed to the

situation calculus The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based o ...

.In Memory of Ray Reiter (1939-2002)
/ref>

Awards and honors

He was a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

(ACM), an

AAAI Fellow Fellowship of the Association for the Advancement of Artificial Intelligence (abbreviated as AAAI Fellow or FAAAI) is an award granted to individuals that the Association for the Advancement of Artificial Intelligence (AAAI), judged to have made ...

, and a

Fellow of the Royal Society of Canada Fellowship of the Royal Society of Canada (FRSC) is an award granted to individuals that the Royal Society of Canada judges to have "made remarkable contributions in the arts, the humanities and the sciences, as well as in Canadian public life ...

. He won the

IJCAI Award for Research Excellence The IJCAI Award for Research Excellence is a biannual award before given at the IJCAI conference to researcher in artificial intelligence as a recognition of excellence of their career. Beginning in 2016, the conference is held annually and so is ...

in 1993.

Publications

* R. Reiter (1978). On closed world data bases. In H. Gallaire and J. Minker, editors, ''Logic and Data Bases'', pages 119–140. Plenum., New York. * R. Reiter (1980). A logic for default reasoning. ''Artificial Intelligence'', 13:81-132. * R. Reiter (1987). A theory of diagnosis from first principles. ''Artificial Intelligence'', 32:57-95. * R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, ''Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy'', pages 359–380. Academic Press, New York. * R. Reiter (2001) ''Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems'' (448 pp.). The MIT Press, Cambridge, Massachusetts and London, England. * R. Reiter and J. de Kleer (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. In ''Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)'', pages 183–188. * H. Levesque, F. Pirri, and R. Reiter (1998). Foundations for the situation calculus ''

Electronic Transactions on Artificial Intelligence The Royal Swedish Academy of Sciences ( sv, Kungliga Vetenskapsakademien) is one of the royal academies of Sweden. Founded on 2 June 1739, it is an independent, non-governmental scientific organization that takes special responsibility for prom ...

'', 2(3–4):159-178. * F. Pirri and R. Reiter (1999). Some contributions to the metatheory of the Situation Calculus ''

Journal of the ACM The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief is Venkatesan ...

'', 46(3):325–361.

References

Artificial intelligence researchers Canadian computer scientists Fellows of the Association for the Advancement of Artificial Intelligence Fellows of the Association for Computing Machinery Fellows of the Royal Society of Canada 1939 births 2002 deaths University of Michigan alumni {{Canada-compu-bio-stub